disable htmlinfo example which contains non-free files
authorDmitry Shachnev <mitya57@debian.org>
Thu, 27 Jul 2023 20:01:32 +0000 (21:01 +0100)
committerDmitry Shachnev <mitya57@debian.org>
Thu, 27 Jul 2023 20:01:32 +0000 (21:01 +0100)
commite75778bde9297ae7df84ddfabd10de6347b9b2b7
tree3643636835f7a16f47c7f6c43f43fc7e4dad479d
parent680023e3c6500644c6b49b1760dcdece7ff9c9ca
disable htmlinfo example which contains non-free files

Forwarded: not-needed
Last-Update: 2014-12-17

Gbp-Pq: Name no_htmlinfo_example.diff
examples/xml/xml.pro